{WAVA}: a New Web Service for Automatic Video Data Flow Adaptation in Heterogeneous Collaborative Environments

International audienceThe progressive needs for using video streaming for different applications in varied domains have created a new set of heterogeneous environments. In order to get the best performance of such environments, video streaming has to be adapted to the different parameters that characterize these environments, namely: bandwidth, CPU, GPU, screen resolution, etc. In this paper, we define a new web service, named Wava (Web service for Automatic Video Data Flows Adaptation). Wava allows multimedia platform to adjust the adaptation at two levels: the static level during initialization and the dynamic level according to the fluctuation of the environment

Automated reasoning on feature models

Software Product Line (SPL) Engineering has proved to be an effective method for software production. However, in the SPL community it is well recognized that variability in SPLs is increasing by the thousands. Hence, an automatic support is needed to deal with variability in SPL. Most of the current proposals for automatic reasoning on SPL are not devised to cope with extra– functional features. In this paper we introduce a proposal to model and reason on an SPL using constraint programming. We take into account functional and extra–functional features, improve current proposals and present a running, yet feasible implementation

Model for resource allocation in decentralized networks using Interaction nets

This article presents the description of a model for allocating resources using Interaction Nets and a strategy for playing public goods. In the description of the model first shows the behavior of the allocation of resources towards the nodes depending on the usefulness of the network and the satisfaction of the agents. Then the generalization of the model with Interaction Nets is described, and a simulation of this behavior is made. It is found that there is an emerging behavior condition in the dynamics of the interaction when assigning resources. To test the model, the interaction of sharing the Internet in an ad hoc network is done. The interaction is shown in the general model obtained

Modelling the time-varying cell capacity in LTE networks

In wireless orthogonal frequency-division multiple access (OFDMA) based networks like Long Term Evolution (LTE) or Worldwide Interoperability for Microwave Access (WiMAX) a technique called adaptive modulation and coding (AMC) is applied. With AMC, different modulation and coding schemes (MCSs) are used to serve different users in order to maximise the throughput and range. The used MCS depends on the quality of the radio link between the base station and the user. Data is sent towards users with a good radio link with a high MCS in order to utilise the radio resources more efficiently while a low MCS is used for users with a bad radio link. Using AMC however has an impact on the cell capacity as the quality of a radio link varies when users move around; this can even lead to situations where the cell capacity drops to a point where there are too little radio resources to serve all users. AMC and the resulting varying cell capacity notably has an influence on admission control (AC). AC is the algorithm that decides whether new sessions are allowed to a cell or not and bases its decisions on, amongst others, the cell capacity. The analytical model that is developed in this paper models a cell with varying capacity caused by user mobility using a continuous -time Markov chain (CTMC). The cell is divided into multiple zones, each corresponding to the area in which data is sent towards users using a certain MCS and transitions of users between these zones are considered. The accuracy of the analytical model is verified by comparing the results obtained with it to results obtained from simulations that model the user mobility more realistically. This comparison shows that the analytical model models the varying cell capacity very accurately; only under extreme conditions differences between the results are noticed. The developed analytical and simulation models are then used to investigate the effects of a varying cell capacity on AC. Also, an optimisation algorithm that adapts the parameter of the AC algorithm which determines the amount of resources that are reserved in order to mitigate the effects of the varying cell capacity is studied using the models. Updating the parameter of the AC algorithm is done by reacting to certain triggers that indicate good or bad performance and adapt the parameters of the AC algorithm accordingly. Results show that using this optimisation algorithm improves the quality of service (QoS) that is experienced by the users.This work was partially supported by the Spanish Government through project TIN2010-21378-C02-02 and contract BES-2007-15030.Sas, B.; Bernal Mor, E.; Spaey, K.; Pla, V.; Blondia, C.; Martínez Bauset, J. (2014). Modelling the time-varying cell capacity in LTE networks. Telecommunication Systems. 55(2):299-313. https://doi.org/10.1007/s11235-013-9782-2S2993135523GPP (2010). 3GPP TR 36.213: Evolved Universal Terrestrial Radio Access (E-UTRA); Radio Resource Control (RRC); Physical layer procedures, June 2010.3GPP (2010). 3GPP TR 36.942: Evolved Universal Terrestrial Radio Access (E-UTRA); Radio Resource Control (RRC); Radio Frequency (RF) system scenarios, September 2010.Al-Rawi, M., & Jäntti, R. (2009). Call admission control with active link protection for opportunistic wireless networks. Telecommunications Systems, 41(1), 13–23.Bhatnagar, S., & Reddy, B.B.I. (2005). Optimal threshold policies for admission control in communication networks via discrete parameter stochastic approximation. Telecommunications Systems, 29(1), 9–31.Camp, T., Boleng, J., & Davies, V. (2002). A survey of mobility models for ad hoc network research. Wireless Communications and Mobile Computing, 2(5), 483–502.E3. ict-e3.eu.Elayoubi, S.-E., & Chahed, T. (2005). Admission control in the downlink of WCDMA/UMTS. In LNCS: Vol. 3427. Mobile and wireless systems (pp. 136–151).Garcia, D., Martinez, J., & Pla, V. (2005). Admission control policies in multiservice cellular networks: optimum configuration and sensitivity. In G. Kotsis, & O. Spaniol (Eds.), Lecture notes in computer science: Vol. 3427. Wireless systems and mobility in next generation Internet (pp. 121–135).Guo, J., Liu, F., & Zhu, Z. (2007). Estimate the call duration distribution parameters in GSM system based on K-L divergence method. In International conference on wireless communications, networking and mobile computing (pp. 2988–2991), Shanghai, China, September 2007.Hossain, M., Hassan, M., & Sirisena, H. R. (2004). Adaptive resource management in mobile wireless networks using feedback control theory. Telecommunications Systems, 24(3–4), 401–415.Jeong, S.S., Han, J.A., & Jeon, W.S. (2005). Adaptive connection admission control scheme for high data rate mobile networks. In IEEE 62nd Vehicular technology conference, 2005. VTC-2005-Fall (Vol. 4, pp. 2607–2611).Kim, D.K., Griffith, D., & Golmie, N. (2010). A novel ring-based performance analysis for call admission control in wireless networks. IEEE Communications Letters, 14(4), 324–326.Latouche, G., & Ramaswami, V. (1999). Introduction to matrix analytic methods in stochastic modeling. ASA-SIAM. Baltimore: Philadelphia.MONOTAS. http://www.macltd.com/monotas .Neuts, M. (1981). Matrix-geometric solutions in stochastic models: an algorithmic approach. Baltimore: The Johns Hopkins University Press.NGMN. NGMN Radio Access Performance Evaluation Methodology, January 2008.NGMN. www.ngmn.org .Prehofer, C., & Bettstetter, C. (2005). Self-organization in communication networks: principles and design paradigms. IEEE Communications Magazine, 43(7), 78–85.Ramjee, R., Nagarajan, R., & Towsley, D. (1997). On optimal call admission control in cellular networks. Wireless Networks, 3(1), 29–41.Siwko, J., & Rubin, I. (2001). Call admission control for capacity-varying networks. Telecommunications Systems, 16(1–2), 15–40.SOCRATES. www.fp7-socrates.eu .Spaey, K., Sas, B., & Blondia, C. (2010). Self-optimising call admission control for LTE downlink. In COST 2100 TD(10)10056, Joint Workshop COST 2100 SWG 3.1 & FP7-ICT-SOCRATES, Athens, Greece.Spilling, A. G., Nix, A. R., Beach, M. A., & Harrold, T. J. (2000). Self-organisation in future mobile communications. Electronics & Communication Engineering Journal, 3, 133

A hierarchical transaction concept for runtime adaptation in real-time, networked embedded systems

In this work, we consider reliable runtime adaptation in networked, embedded systems with tight real-time constraints. Specifically, we adapt the placement of software components on a multitude of hardware components and show the need for a hierarchical transaction concept in this context. We consider multiple adaptation steps under these hard system constraints and also introduce a model with undesired configurations, which cannot be maintained for an extended time period. Furthermore, we identify cases when adaptation steps can be performed in parallel. Our concept for adaptations is applied to realistic automotive examples, where the feasibility of adaptation in the inactive period of a software component is demonstrated

A new approach for privacy in the cloud: Context-ware obfuscation

In this paper, we adress the problem of user privacy for Internet Services that people use to publish private data. While many typical operations such as generalization and omission of detail have been discussed before, the contribution of the paper is to present simple yet powerful rules for enhancing privacy. We propose a new approach to map sensitive data to less sensitive ones using relevance constraints to preserve their utility. Several frequently encountered service usage scenarios motivate the presented rules